reglas de inferencia ejercicios